The Formal Design Model of an Automatic Teller Machine (ATM)
نویسندگان
چکیده
Automated teller machines (ATM) have become a part and parcel of supermarkets, convenience stores, travel centers and banking. ATM is a real-time system that is very complex in design and application. This paper presents the formal design, requirement, a distributed approach for the ATM networks, and type of the ATM system.
منابع مشابه
Petri Net Modeling for Parallel Bank ATM Systems
In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...
متن کاملThe Formal Design Model of an Automatic Teller Machine (ATM)
An Automated Teller Machine (ATM) is a safety-critical and real-time system that is highly complicated in design and implementation. This paper presents the formal design, specification, and modeling of the ATM system using a denotational mathematics known as Real-Time Process Algebra (RTPA). The conceptual model of the ATM system is introduced as the initial requirements for the system. The ar...
متن کاملA Data Mining approach for forecasting failure root causes: A case study in an Automated Teller Machine (ATM) manufacturing company
Based on the findings of Massachusetts Institute of Technology, organizations’ data double every five years. However, the rate of using data is 0.3. Nowadays, data mining tools have greatly facilitated the process of knowledge extraction from a welter of data. This paper presents a hybrid model using data gathered from an ATM manufacturing company. The steps of the research are based on CRISP-D...
متن کاملSecure Bio-Cryptographic Authentication System for Cardless Automated Teller Machines
Security is a vital issue in the usage of Automated Teller Machine (ATM) for cash, cashless and many off the counter banking transactions. Weaknesses in the use of ATM machine could not only lead to loss of customer’s data confidentiality and integrity but also breach in the verification of user’s authentication. Several challenges are associated with the use of ATM smart card such as: card clo...
متن کاملClosure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems
Automatic behaviour can be defined as a fast processing human activity that does not require attention to occur. According to Norman and Shallice’s model of attention and automaticity the majority of responses are under fairly automatic control triggered by environmental cues. In this paper we define a process algebraic framework to formalise Norman and Shallice’s model and illustrate it throug...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013